A Low-Level Index for Distributed Logic Programming

Distributed Logic Programming

High-Level Abstractions for Low-Level Programming

High-Level Abstractions for Low-Level Programming Iavor Sotirov Diatchki Ph.D., OGI School of Science & Engineering at Oregon Health & Science University May 2007 Thesis Advisor: Dr. Mark P. Jones Computers are ubiquitous in modern society. They come in all shapes and sizes: from standard household appliances and personal computers, to safety and security critical applications such as vehicle n...

High-level languages for low-level programming

ions Abstractions have a cost. File systems and network protocols are generic and not tailored to one particular application. We cannot expect an abstraction to be optimal with respect to every application that uses it. Similarly on the PL side one cannot expect a general purpose PL to provide the exact abstractions needed for one particular application. These abstractions too have a cost: they...

Distributed object oriented logic programming

In this paper we introduce a programming language/system DK Parlog ++ which is an experimental testbed for distributed applications, particularly distributed AI and distributed knowledge base applications. The language is designed to have the concurrent computation ability of the Concurrent Logic Programming(CLP) languages, the knowledge representation and problem solving ability of Prolog, bot...

Distributed Concurrent Linear Logic Programming

We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: locationdependence/independence of names and movement of computation. We rst de ne the syntax and semantics of a modal linear logic that is suitable for expressing distributed computation, and then show that there is a close relationship betwe...